widget-factory: Improve the theme selector
authorMatthias Clasen <mclasen@redhat.com>
Sat, 25 Apr 2020 01:12:20 +0000 (21:12 -0400)
committerMatthias Clasen <mclasen@redhat.com>
Sat, 25 Apr 2020 01:12:20 +0000 (21:12 -0400)
commit02fa9489141a6496167d1396f46b23c6974e00d7
treee8d7d6dc036fcdf95436187d5d22b0b3cd30457f
parentb54178e6a4c64b8d2200438afaffaee51fbe7b77
widget-factory: Improve the theme selector

Implement the "Current style" choice using
gtk_settings_reset_property, so we go back to
following the settings changes.
demos/widget-factory/widget-factory.c